You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
estate-rules fails on main at step Repository map is not stale, with FAIL: committed REPOSITORY-MAP.adoc is stale — run: just repo-map. Every PR inherits that failure, occupancy-types#18 included. The generator now lists PROOF-STATUS.adoc and occupancy-types.agda-lib, and the committed map has neither. This PR regenerates the map and changes nothing else.
Changes
docs/architecture/REPOSITORY-MAP.adoc: regenerated with just repo-map. The diff adds two table rows (8 lines).
RSR Quality Checklist
Required
Tests pass: both repo-map steps of estate-rules, run locally (see Testing)
No banned language patterns
No banned functions
No secrets, credentials, or .env files included
As Applicable
Documentation updated: the map is generated documentation
Testing
bash tests/shape/repo_map_determinism_test.sh printed PASS: repository map is byte-identical across locales, and committed copy is current.
I ran the Repository map is not stale step as CI does: regenerate the map, then diff -u it against the committed copy. There was no difference.
estate-rules fails on main because the committed map is stale: the
generator now lists PROOF-STATUS.adoc and occupancy-types.agda-lib, which
the committed copy lacks. Regenerated with `just repo-map`; the output is
identical under the default and C locales.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Y6FD63UrriRBHqmhhEca9t
The root-entry table adds PROOF-STATUS.adoc as the proof inventory and occupancy-types.agda-lib as the Agda library descriptor. Both entries are marked required.
This documentation-only update aligns the repository map with its tracked inputs. No merge-blocking risk is identified.
Pre-merge checks: 4
Check name
Status
Explanation
Title check
The title clearly and concisely identifies the main change: regenerating the repository map.
Description check
The description explains the reason for the change, lists the modified file, records testing results, and covers the relevant checklist items. It is complete for this documentation-only change.
Linked Issues check
Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check
Check skipped because no linked issues were found for this pull request.
Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.
File: No configuration file from this repository applied
Commit: Unavailable
Layers: Organization UI
Review profile: ASSERTIVE
Plan: Advanced
Run ID: a55adbca-4244-4963-b3e7-9236fded784a
Commits
Reviewing files that changed from the base of the PR and between e2e7be2 and b7d12c3.
Files selected for processing: 1
docs/architecture/REPOSITORY-MAP.adoc
Included review availability: This review used your included allowance. Your plan provides up to 1 included review per hour; 0 remain after this review.
What this PR fixes, and what it can't. This PR repairs the estate-rules repository-map step and changes only docs/architecture/REPOSITORY-MAP.adoc. The other red checks fail the same way on main (ce12cf7):
Canon lockstep. The dogfood-gate.yml job fetches canon.lock live from metadatastician/standards/main. It then compares that file with the repo's deed. The canon has moved since main's last run. The same check is red on resource-algebra, mathesis and rsr-template-repo, for the same reason. Re-syncing the deed is a separate change.
governance, hypatia-scan, secret-scanner and main-estate-audit. These fail with zero jobs. They call the standards reusables at the old pin, hyperpolymath/standards@94572e6. Re-pinning them is its own change, and the same re-pin in typed-wasm#284 is blocked on a repository Actions setting.
Code Quality. It ends in startup_failure on main as well. No fix exists yet.
None of these touch the file this PR changes. occupancy-types#18 carries the same fix as a port.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
![coderabbitai[bot]](https://avatars.githubusercontent.com/in/347564?s=60&v=4){kind=small}
Summary
estate-rulesfails onmainat step Repository map is not stale, withFAIL: committed REPOSITORY-MAP.adoc is stale — run: just repo-map. Every PR inherits that failure, occupancy-types#18 included. The generator now listsPROOF-STATUS.adocandoccupancy-types.agda-lib, and the committed map has neither. This PR regenerates the map and changes nothing else.Changes
docs/architecture/REPOSITORY-MAP.adoc: regenerated withjust repo-map. The diff adds two table rows (8 lines).RSR Quality Checklist
Required
estate-rules, run locally (see Testing).envfiles includedAs Applicable
Testing
bash tests/shape/repo_map_determinism_test.shprintedPASS: repository map is byte-identical across locales, and committed copy is current.diff -uit against the committed copy. There was no difference.Generated by Claude Code